Merge branch 'ci-flatpak' into 'master'
authorEmmanuele Bassi <ebassi@gmail.com>
Thu, 13 Feb 2020 18:10:29 +0000 (18:10 +0000)
committerEmmanuele Bassi <ebassi@gmail.com>
Thu, 13 Feb 2020 18:10:29 +0000 (18:10 +0000)
CI pipeline changes for Flatpak jobs

See merge request GNOME/gtk!1429


Trivial merge